Abstract data types - PDFSEARCH.IO - Document Search Engine

Abstract data types
Results: 538

#	Item
41	Programmazione di sistemi multicore A.ALECTURE 13 IRENE FINOCCHI Add to Reading List Source URL: twiki.di.uniroma1.it Language: English - Date: 2015-11-10 08:22:05 Concurrency control Abstract data types Parallel computing Monitor Lock Stack Thread
42	Microsoft PowerPoint - lecture-biov4.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-11-04 10:01:16 Stochastic processes DNA Genetics Molecular biology Abstract data types Queue Nucleotide Tree traversal
43	Quantitative Relaxation of Concurrent Data Structures Thomas A. Henzinger˚ Christoph M. Kirsch` Hannes Payer` Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English Abstract data types Priority queue Queue Sequence Stack Permutation Collection Double-ended queue Relaxation
44	Algorithms and Data Structures Winter TermExercises for Unit 16 & 17 1. Show the following simple facts about a binomial tree of rank k. a) The tree has 2k nodes. Add to Reading List Source URL: www-tcs.cs.uni-sb.de Language: English - Date: 2016-03-09 08:07:30 Abstract data types Binomial heap Fibonacci heap Heap Amortized analysis Queue Data structures Priority queues Weak heap Shadow heap
45	More concurrency issues and synchronization mechanisms • DEADLOCK • READERS/WRITER LOCKS • CONDITION VARIABLES Add to Reading List Source URL: twiki.di.uniroma1.it Language: English - Date: 2015-11-24 06:45:41 Concurrency control Abstract data types Monitor Software design patterns Concurrency Concurrent computing Double-ended queue Queue Lock Synchronization Thread
46	Value Analysis Frama-C’s value analysis plug-in AluminiumPascal Cuoq and Boris Yakobowski with Matthieu Lemerre, André Maroneze, Valentin Add to Reading List Source URL: frama-c.com Language: English - Date: 2016-06-01 04:33:34 Subroutines Frama-C Data types Abstract interpretation Parameter Pointer Expected value Constant
47	02157 Functional ProgrammingFunctional Programming Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 15:59:12 Functional programming Data types Control flow Eval Interpreter Syntax Abstract syntax Const Higher-order function Monad Programming language
48	Open GADTs and Declaration-site Variance: A Problem Statement Paolo G. Giarrusso Philipps University Marburg ABSTRACT Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Type theory Polymorphism Data types Object-oriented programming Dependently typed programming Covariance and contravariance Higher-order abstract syntax Lambda calculus Const Subtyping Scala Generalized algebraic data type
49	Value Types and Object Classes Ole-Johan Dahl Dept. of Informatics, University of Oslo March 22, 1999 Abstract Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Data types Subroutines Recursion Procedural programming languages Cross-platform software Fold Stack ALGOL 68 Pointer Lua Go Record
50	+popThreadLocalRMEventList():List +pushThreadLocalRMEventList(eventList:List):void TransactionManager Add to Reading List Source URL: jotm.objectweb.org Language: English - Date: 2009-03-13 09:12:38 Abstract data types C++ Standard Library Object-oriented programming Software design patterns Iterator Object Sequence container Void Java Container Mediator pattern Iterator pattern